Compactly generated Hausdorff locales
نویسنده
چکیده
We say that a Hausdorff locale is compactly generated if it is the colimit of the diagram of its compact sublocales connected by inclusions. We show that this is the case if and only if the natural map of its frame of opens into the second Lawson dual is an isomorphism. More generally, for any Hausdorff locale, the second dual of the frame of opens gives the frame of opens of the colimit. In order to arrive at this conclusion, we generalize the Hofmann–Mislove–Johnstone theorem and some results regarding the patch construction for stably locally compact locales.
منابع مشابه
Compactly Generated Spaces
This document is a summary of basic facts about the “standard” category of compactly generated spaces introduced by McCord [McC69] (often referred to in the literature as “compactly generated weak Hausdorff spaces”, or “weak Hausdorff k-spaces”). The main references I’ve used for this material are Gaunce Lewis’s thesis [Lew, App. A], and Neil Strickland’s note [Str09] (especially for material a...
متن کاملCoarse Equivalence and Topological Couplings of Locally Compact Groups
M. Gromov has shown that any two finitely generated groups Γ and Λ are quasi-isometric if and only if they admit a topological coupling, i.e., a commuting pair of proper continuous cocompact actions Γ y X x Λ on a locally compact Hausdorff space. This result is extended here to all (compactly generated) locally compact second-countable groups. In his seminal monograph on geometric group theory ...
متن کاملRegularity of the category of Kelley spaces
We show that the cartesian closed category of compactly generated Hausdorff spaces is regular, but is neither exact, nor locally cartesian closed. In fact we find a coequalizer of an equivalence relation which is not stable under pullbacks.
متن کاملA Model Category Structure on the Category of Simplicial Multicategories
We establish a Quillen model structure on simplicial (symmetric) multicategories. It extends the model structure on simplicial categories due to J. Bergner [2]. We observe that our technique of proof enables us to prove a similar result for (symmetric) multicategories enriched over other monoidal model categories than simplicial sets. Examples include small categories, simplicial abelian groups...
متن کاملMath 527 - Homotopy Theory Additional notes
The collection of k-closed subsets of X forms a topology, which contains the original topology of X (i.e. closed subsets are always k-closed). Notation 1.2. Let kX denote the space whose underlying set is that of X, but equipped with the topology of k-closed subsets of X. Because the k-topology contains the original topology on X, the identity function id : kX → X is continuous. Definition 1.3....
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Ann. Pure Appl. Logic
دوره 137 شماره
صفحات -
تاریخ انتشار 2006